graph theory:contraction